翻訳と辞書 Words near each other ・ hdd ・ hdf ・ hdfl ・ hdl ・ hdlc ・ hdm ・ hdsl ・ hdtv ・ hdx ・ head disk assembly ・ head normal form ・ head normalisation theorem ・ head-strict ・ header ・ heads down ・ heap ・ heartbeat ・ heat sink ・ heat slug ・ heatseeker Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク head normal form ： FOLDOC Head Normal Form (HNF) A term describing a lambda expression whose top level is either a variable, a data value, a built-in function applied to too few arguments, or a lambda abstraction whose body is not reducible. I.e. the top level is neither a redex nor a lambda abstraction with a reducible body. An expression in HNF may contain redexes in argument postions whereas a normal form may not. Compare Weak Head Normal Form. (2003-01-08) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.